More from this Author

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

by Yassine Lakhnech (Editor), Sergio Yovine (Editor)

From Programs to Systems - the Systems Perspective in Computing

by Saddek Bensalem (Editor), Yassine Lakhnech (Editor), Axel Legay (Editor)